Дедуктивная логика — 3